Run-time Safety Framework for Component-based Medical Robots
نویسندگان
چکیده
As modern medical robot systems are required to perform complex surgical tasks with various sensing and actuation capabilities, it is becoming more important to integrate a variety of sensors, actuators, and control loops into a single system. However, the consideration of nonfunctional properties such as performance and fault tolerance complicates the integration and makes it harder to achieve system safety. In medical robotics, such system issues have not received much attention despite a consensus on the importance of safety within the domain. As our approach to this issue, we present a run-time software environment for safety research on component-based medical robot systems, called the Safety Framework. This framework aims to provide systematic safety methods by decomposing safety features into reusable safety mechanisms and safety specifications. This decomposition enables the accumulation of safety experience and knowledge in a traceable manner, and provides reusable safety design guidelines for designing new medical robot systems.
منابع مشابه
PSO-Based Path Planning Algorithm for Humanoid Robots Considering Safety
In this paper we introduce an improvement in the path planning algorithm for the humanoid soccer playing robot which uses Ferguson splines and PSO (Particle Swarm Optimization). The objective of the algorithm is to find a path through other playing robots to the ball, which should be as short as possible and also safe enough. Ferguson splines create preliminary paths using random generated para...
متن کاملThe Umbra Simulation Framework as Applied to Building Hla Federates
Sandia’s Umbra modular simulation framework was designed to enable the modeling of robots for manufacturing, military, and security system concept evaluation. Umbra generalizes data-flow-based simulation to enable modeling of heterogeneous interaction phenomena via a multiple worlds abstraction. This and other features make Umbra particularly suitable for developing simulation federates. Umbra’...
متن کاملA Completely Wireless Development System for Mobile Robots
This paper presents the design and implementation of a Wireless Development System (WDS) for mobile robots. The WDS has unique features that can greatly facilitate the development and debugging process for mobile robots. In experimentation with mobile robots, a development cycle usually consists of two parts: run-time, and what we call "debug-time." Debug-time is the portion of the development ...
متن کاملToward a More Dependable Software Architecture for Autonomous Robots
Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are getting closer to humans and as such are becoming critical systems which must meet safety properties including in particular logical, temporal and real-time constraints. We present an evolution of the LAAS Architecture for Autonomous System and its t...
متن کاملIncremental Component-Based Construction and Verification of a Robotic System
Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and must meet safety properties including in particular temporal and real-time constraints. We present a methodology for modeling and analyzing a robotic system using the BIP component framework integrated with an existing framework ...
متن کامل